app-display: Rename PREFERENCES search provider to SETTINGS

Both the shell and gnome-control-center prefer "Settings" over
"Preferences", so rename the corresponding search section.

diff --git a/js/ui/appDisplay.js b/js/ui/appDisplay.js
index 6fe12f299dc924f1edc97a1297596d004923ce5a..cd5983bf6c22c444b73521eefd306c15d9a734e8 100644 (file)
--- a/js/ui/appDisplay.js
+++ b/js/ui/appDisplay.js
@@ -309,7 +309,7 @@ PrefsSearchProvider.prototype = {
     __proto__: BaseAppSearchProvider.prototype,
 
     _init: function() {
-        BaseAppSearchProvider.prototype._init.call(this, _("PREFERENCES"));
+        BaseAppSearchProvider.prototype._init.call(this, _("SETTINGS"));
     },
 
     getInitialResultSet: function(terms) {